| emsoft | participants

Xin Chen

Program Committees:
2019
.

EMSOFT 2021: 21st International Conference on Embedded Software

Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator

Lin Zhang, Pengyuan Lu, Fanxin Kong, Xin Chen, Oleg Sokolsky, and Insup Lee

EMSOFT 2020: 20th International Conference on Embedded Software

Divide and Slide: Layer-Wise Refinement for Output Range Analysis of Deep Neural Networks

Chao Huang, Jiameng Fan, Xin Chen, Wenchao Li, and Qi Zhu

EMSOFT 2019: 19th International Conference on Embedded Software

ReachNN: Reachability Analysis of Neural-Network Controlled Systems

Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, and Qi Zhu

EMSOFT 2018: 18th International Conference on Embedded Software

Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming

Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, and Xuandong Li

EMSOFT 2017: 17th International Conference on Embedded Software

Compositional Relational Abstraction for Nonlinear Hybrid Systems

Xin Chen, Sergio Mover, and Sriram Sankaranarayanan

Probabilistic Safety Verification of Stochastic Hybrid Systems Using Barrier Certificates

Chao Huang, Xin Chen, Wang Lin, Zhengfeng Yang, and Xuandong Li

EMSOFT 2016: 16th International Conference on Embedded Software

Darboux-Type Barrier Certificates for Safety Verification of Nonlinear Hybrid Systems

Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, and Lilei Wang